integral_0^1 (log((1+x^2)^2/(1+x)/(1-x)^3))